منابع مشابه
Approaching Leo Strauss : Some Comments on " Thoughts on
The publication of Leo Strauss's Studies in Platonic Philosophy, more than a decade after Strauss's death, is evidence that his work endures, and of something more.' On the first point, it is sufficient to mention that the book was widely noticed, notwithstanding that, save for two short notes on Maimonides, it is an assemblage of previously published pieces. On the second, we may take our bear...
متن کاملOverview on Leo-ii Leo-ii and Tptp
LEO-II is a standalone, resolution-based higher-order theorem prover that is designed for fruitful cooperation with specialist provers for first-order and propositional logic. The idea is to combine the strengths of the different systems. On the other hand, LEO-II itself, as an external reasoner, wants to support interactive proof assistants such as Isabelle/HOL, HOL, and OMEGA by efficiently a...
متن کاملLEO-II Version 1.5
Leo-II cooperates with other theorem-provers to prove theorems in classical higherorder logic. It returns hybrid proofs, which contain inferences made by Leo-II as well as the backend provers with which it cooperates. This article describes recent improvements made to Leo-II.
متن کاملThe LEO-II Project
LEO-II, a resolution based theorem prover for classical higher-order logic, is currently being developed in a one year research project at the University of Cambridge, UK, with support from Saarland University, Germany. We briefly discuss the main objectives of the project. The LEO-II project is funded by EPSRC under grant EP/D070511/1.
متن کاملUpdate report: LEO-II version 1.5
Recent improvements of the LEO-II theorem prover are presented. These improvements include a revised ATP interface, new translations into first-order logic, rule support for the axiom of choice, detection of defined equality, and more flexible strategy scheduling.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PS: Political Science & Politics
سال: 1974
ISSN: 1049-0965,1537-5935
DOI: 10.1017/s1049096500011057